ECM: An Formal Embedded Component Model for Embedded System
نویسندگان
چکیده
منابع مشابه
An Embedded Software Component Quality Model - EQM
becoming more generalized, representing a considerable efficient design for the embedded industry. The perspective of reduced development costs and shorter life cycles acts as a motivation for this expansion. However, several technical issues remain unsolved before embedded software component's industry reaches the maturity exhibited by other hardware component industries. Problems such as the ...
متن کاملMasaccio: A Formal Model for Embedded Components
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equations) by parallel and serial composition, arbitrarily nested. Each system component consists of an interface, which determines the possible ways of using the component, and a set of executions, which de ne the possible b...
متن کاملA Quality Model for Embedded Software Component
Component-based software development is becoming more generalized, representing a considerable efficient design for the embedded industry. The perspective of reduced development costs and shorter life cycles acts as a motivation for this expansion. However, several technical issues remain unsolved before embedded software component’s industry reaches the maturity exhibited by other hardware com...
متن کاملEvaluation of an Abstract Component Model for Embedded Systems Development
Model-driven and component-oriented development is increasingly being used in the development of embedded systems. When combined, both paradigms provide several advantages, such as higher reuse rates, and improved system quality. Performing model-driven and component-oriented development should be accompanied by a component model and a method that prescribes how the component model is used. Thi...
متن کاملCHAOS EMBEDDED CHARGED SYSTEM SEARCH FOR PRACTICAL OPTIMIZATION PROBLEMS
Chaos is embedded to the he Charged System Search (CSS) to solve practical optimization problems. To improve the ability of global search, different chaotic maps are introduced and three chaotic-CSS methods are developed. A comparison of these variants and the standard CSS demonstrates the superiority and suitability of the selected variants for practical civil optimization problems.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Control and Automation
سال: 2015
ISSN: 2005-4297,2005-4297
DOI: 10.14257/ijca.2015.8.6.29